$\forall$$p$:FinProbSpace. Dec(Outcome)